-
1 логическое условие
Универсальный русско-английский словарь > логическое условие
-
2 блокировочная зависимость
- interlocking logic
- interlocking condition
- interlock equation
- interlock condition
- equations of the interlocking logic
- equation of the interlocking
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Русско-английский словарь нормативно-технической терминологии > блокировочная зависимость
-
3 логическое выражение
1) Engineering: logical expression2) Information technology: Boolean expression, test condition4) SAP.fin. Boolean statementУниверсальный русско-английский словарь > логическое выражение
-
4 Любое выражение на языке ST, которое приводит к бу
Универсальный русско-английский словарь > Любое выражение на языке ST, которое приводит к бу
-
5 У каждого перехода должно быт
Универсальный русско-английский словарь > У каждого перехода должно быт
-
6 Условие именованн
См. также в других словарях:
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Boolean grammar — Boolean grammars are a class of formal grammars studied in formal language theory. They extend the basic type of grammars, the context free grammars, with conjunction and negation operations. Besides these explicit operations, Boolean grammars… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean circuit — A Boolean circuit is a mathematical model of computation used in studying computational complexity theory. Boolean circuits are the main object of study in circuit complexity. A formal language can be decided by a family of Boolean circuits, one… … Wikipedia
Boolean algebra — A Boolean algebra is a system consisting of a set S and two operations, n and ? (cap and cup), subject to the following axioms. For all sets a,b,c, that are members of S: 1 a n (b n c) = (a n b) n c. Also a ? (b ? c) = (a ? b) ? c (associativity) … Philosophy dictionary
Condition Coverage — Der Bedingungsüberdeckungstest (engl. Condition Coverage) gehört zu einer Gruppe von Überdeckungstests, die zum Testen von Software verwendet werden. Das Problem der bisherigen Überdeckungstests (C1 Test, C2 Test) ist, dass zusammengesetzte,… … Deutsch Wikipedia
Necessary and sufficient condition — This article is about the formal terminology in logic. For causal meanings of the terms, see Causality. In logic, the words necessity and sufficiency refer to the implicational relationships between statements. The assertion that one statement is … Wikipedia
Complete Boolean algebra — This article is about a type of mathematical structure. For complete sets of Boolean operators, see Functional completeness. In mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound) … Wikipedia
Modified Condition/Decision Coverage — MC/DC or Modified Condition/Decision Coverage, is used in the standard DO 178B to ensure that Level A (Catastrophic) software is tested adequately.It is a form of exhaustive testing, in that during testing all of the below must be true at least… … Wikipedia
Countable chain condition — See also: Forcing (set theory)#The countable chain condition In order theory, a partially ordered set X is said to satisfy the countable chain condition, or to be ccc, if every strong antichain in X is countable. There are really two conditions:… … Wikipedia
Conditional (programming) — Conditional statement redirects here. For the general concept in logic, see Material conditional. In computer science, conditional statements, conditional expressions and conditional constructs are features of a programming language which perform … Wikipedia
